Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
151	Microsoft Word - LDLT2_Master_print.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2010-11-29 08:43:56 Logic Boolean algebra Negation Propositional calculus Auxiliary verb Logic programming Conceptual model Grammar Linguistics Semantics
152	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
153	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
154	Mem Cogn DOI[removed]s13421[removed]The consistency of disjunctive assertions P. N. Johnson-Laird & Max Lotstein & Ruth M. J. Byrne Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:15 Thought Reasoning Boolean algebra Logic Cognitive psychology Mental model Logical disjunction Assertion Existential quantification Science Ethology Mind
155	BDD algorithms and cache misses Draft Nils Klarlund AT&T Bell Laboratories Room 2C-410 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:46 Cache Binary decision diagram Boolean algebra Diagrams Model checking CPU cache Hash table Lookup table Trie Computing Search algorithms Computer programming
156	Lisp in Summer Projects Submission Submission Date[removed]:21:56 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Propositional calculus Boolean algebra Logical truth Model theory Satisfiability Function Lisp Algorithm Tautology Logic Mathematics Mathematical logic
157	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
158	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
159	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams
160	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic

UPDATE